Instance Verification Kit (IVK)
mutex lock @ [81660+35+/linux-3.17-rc1/drivers/usb/core/hub.c]
Instance Signature: status_lock
The Matching Pair Graph:
Function Name
Control Flow Graph (CFG)
Events Flow Graph (EFG)
Source Correspondence
hub_events
[144576+10+/linux-3.17-rc1/drivers/usb/core/hub.c]
hub_handle_remote_wakeup
[101651+24+/linux-3.17-rc1/drivers/usb/core/hub.c]
hub_port_connect
[133317+16+/linux-3.17-rc1/drivers/usb/core/hub.c]
hub_port_connect_change
[139298+23+/linux-3.17-rc1/drivers/usb/core/hub.c]
port_event
[140762+10+/linux-3.17-rc1/drivers/usb/core/hub.c]
usb_enumerate_device
[66914+20+/linux-3.17-rc1/drivers/usb/core/hub.c]
usb_enumerate_device_otg
[64560+24+/linux-3.17-rc1/drivers/usb/core/hub.c]
usb_lock_port
[81579+13+/linux-3.17-rc1/drivers/usb/core/hub.c]
usb_new_device
[69671+14+/linux-3.17-rc1/drivers/usb/core/hub.c]
usb_port_resume
[98661+15+/linux-3.17-rc1/drivers/usb/core/hub.c]
usb_port_suspend
[89210+16+/linux-3.17-rc1/drivers/usb/core/hub.c]
usb_reset_device
[160471+16+/linux-3.17-rc1/drivers/usb/core/hub.c]
usb_unlock_port
[81747+15+/linux-3.17-rc1/drivers/usb/core/hub.c]